package typechecker.ast.type;

import typechecker.ast.Context;

public class TypeVariable extends TypeExpression{
	protected String name;

	public TypeVariable(String name) {
		this.name = name;
	}
		
	@Override
	public String toString() {
		return this.name;
	}

	@Override
	public String preetyPrint() {
		return this.name;
	}
	
	public String getName() {
		return name;
	}
	
	@Override
	public TypeExpression freshCopy(Context<TypeVariable> ctx) {
		TypeVariable ret = ctx.lookup(name);
		return ret;
	}
}
